Section: New Results

Micro-Policies and Secure Compilation

Participants : Catalin Hritcu, Arthur Azevedo de Amorim, Zoi Paraskevopoulou, Nikolaos Giannarakis.

Following on from previous work on the micro-policy framework, Catalin Hritcu and his collaborators published new work on applications and efficient implementations of micro-policies. They published work on low-level implementations of micro-policies at ASPLOS 2015 [18] . At IEEE S&P, they published a paper how to write formally verified reference monitors using micro-policies  [26] .

Other than these published works, Hritcu and his colleagues also worked on using micro-policies to enforce secure information flow at the hardware level  [25] , and a secure compiler for a high-level language that relies on micro-policies to enforce programming language abstractions  [45] .